A Characterization of the Left Exact Categories Whose Exact Completions Are Toposes
نویسنده
چکیده
We characterize the categories with finite limits whose exact completions are toposes. We review the examples in the literature and also find new examples and counterexamples.
منابع مشابه
Exact completions and toposes
Toposes and quasi-toposes have been shown to be useful in mathematics, logic and computer science. Because of this, it is important to understand the different ways in which they can be constructed. Realizability toposes and presheaf toposes are two important classes of toposes. All of the former and many of the latter arise by adding “good” quotients of equivalence relations to a simple catego...
متن کاملCocomplete toposes whose exact completions are toposes
Let E be a cocomplete topos. We show that if the exact completion of E is a topos then every indecomposable object in E is an atom. As a corollary we characterize the locally connected Grothendieck toposes whose exact completions are toposes. This result strengthens both the Lawvere–Schanuel characterization of Boolean presheaf toposes and Hofstra’s characterization of the locally connected Gro...
متن کاملClosure Operators in Exact Completions
In analogy with the relation between closure operators in presheaf toposes and Grothendieck topologies, we identify the structure in a category with finite limits that corresponds to universal closure operators in its regular and exact completions. The study of separated objects in exact completions will then allow us to give conceptual proofs of local cartesian closure of different categories ...
متن کاملInternal Categories in a Left Exact Cosimplicial Category
The notion of an internal category in a left exact cosimplicial category is introduced. For any topos over sets a certain left exact cosimplicial category is constructed functorially and the category of internal categories in it is investigated. The notion of a fundamental group is defined for toposes admitting the notion of “a discrete category.” Introduction Our primary interest in this paper...
متن کاملExact Completions and Small Sheaves
We prove a general theorem which includes most notions of “exact completion” as special cases. The theorem is that “κ-ary exact categories” are a reflective sub-2-category of “κ-ary sites”, for any regular cardinal κ. A κ-ary exact category is an exact category with disjoint and universal κ-small coproducts, and a κ-ary site is a site whose covering sieves are generated by κ-small families and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999